Alice (programming language) (original) (raw)
Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany. It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming.
| Property | Value |
|---|---|
| dbo:abstract | Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany. It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming. (en) Alice es un lenguaje de programación funcional diseñado en el Programming Systems Lab de la Universidad del Sarre. Es un dialecto de Standard ML, extendido con soporte para evaluación perezosa, Concurrencia ( y programación distribuida por medio de ) y . La implementación de Alice de la Universidad Saarland utiliza la máquina virtual abstracta extensible SEAM (Simple Extensible Abstract Machine por sus siglas en inglés). Es un Software libre, que incluye hacia código binario propio así como para código de máquina para la arquitectura x86. El mecanismo de llamada remota de procedimientos de Alice depende de su máquina virtual y permite realizar llamadas entre diferentes computadores. (es) 앨리스(Alice)는 3d 스토밍으로 프로그래머가 아닌 평범한 사람이 이해하고 사용할 수 있게 만든 프로그래밍 언어이다. (ko) Alice è un linguaggio di programmazione funzionale progettato presso l'Università del Saarland. È un dialetto di Standard ML, con il supporto aggiuntivo per la valutazione lazy, la concorrenza e la programmazione a vincoli. L'implementazione di Alice utilizza la macchina virtuale SEAM (Simple Extensible Abstract Machine). Alice è distribuito come software libero e fornisce la compilazione just-in-time sia verso bytecode che in codice nativo per l'architettura x86. (it) Alice é uma linguagem de programação funcional, concebida pelo Laboratório de Programação de Sistemas da Universidade do Sarre. Trata-se de um dialeto do Standard ML, complementado com suporte a avaliação atrasada, concorrência (multithreading e computação distribuída através de chamadas de procedimento remoto) e programação com restrições. A implementação da linguagem Alice da Universidade do Sarre usa a máquina virtual SEAM (Simple Extensible Abstract Machine). Trata-se de um software livre que tem entre suas características compilação just in time e código nativo para a arquitetura x86. (pt) Alice — язык функционального программирования, разработанный в лаборатории в Саарском университете. Это диалект языка Standard ML, дополненный ленивыми вычислениями, конкурентностью (многопоточностью и распределёнными вычислениями на основе вызова удалённых процедур) и программированием в ограничениях. Реализация Alice Саарского университета использует виртуальную машину (Simple Extensible Abstract Mashine). Она является свободным программным обеспечением и использует компиляцию «на лету» как в байт-код, так и в родной код для архитектуры x86. Ранние версии Alice работали в виртуальной машине Mozart/Oz, предоставляя возможность взаимодействия кода на Alice и на Oz. Возможность вызова удалённых процедур в Alice зависит от виртуальной машины, потому что она использует непосредственную пересылку исполняемого кода с одного компьютера на другой. Alice расширяет Standard ML рядом примитивов для экзотичной модели нестрогих вычислений, носящей название вызов-по-преднамеченности, с помощью которых легко реализуется параллелизм. Потоки могут быть созданы с помощью зарезервированного слова spawn. (ru) Alice — мова функціонального програмування, розроблена в лабораторії в Саарландському університеті. Це відгалуження мови Standard ML, доповнене лінивими обчисленнями, конкурентністю (багатонитевістю і розподіленими обчисленнями на основі виклику віддалених процедур) і програмування в обмеженнях. Реалізація Alice Саарландського університету використовує віртуальну машину (Simple Extensible Abstract Mashine). Вона відноситься до вільного програмного забезпечення і використовує компіляцію «на льоту» як в байт-код, так і в рідний код для архітектури x86. Ранні версії Alice працювали в віртуальній машині /Oz, надаючи можливість взаємодії кода на Alice і на Oz. Можливість виклику віддалених процедур в Alice залежить від віртуальної машини, тому що вона використовує безпосередню пересилку виконуваного коду з одного комп'ютера на інший. Alice доповнює Standart ML рядом примітивів для екзотичної моделі нестрогих обчислень, за допомогою яких легко реалізовується паралелізм. Потоки можуть бути створені за допомогою зарезервованого слова spawn. (uk) |
| dbo:designer | dbr:Saarland_University |
| dbo:influencedBy | dbr:ML_(programming_language) dbr:Oz_(programming_language) |
| dbo:latestReleaseDate | 2007-05-03 (xsd:date) |
| dbo:latestReleaseVersion | 1.4 |
| dbo:license | dbr:MIT_License |
| dbo:wikiPageExternalLink | http://www.ps.uni-saarland.de/alice/papers.html |
| dbo:wikiPageID | 30877972 (xsd:integer) |
| dbo:wikiPageLength | 5112 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1108242653 (xsd:integer) |
| dbo:wikiPageWikiLink | dbc:Functional_logic_programming_languages dbc:ML_programming_language_family dbc:Programming_languages_created_in_2000 dbc:Logic_programming_languages dbr:Cross-platform dbr:Saarbrücken dbr:Saarland_University dbr:Germany dbr:Multi-paradigm_programming_language dbr:Concurrency_(computer_science) dbr:Constraint_programming dbr:ML_(programming_language) dbr:Standard_ML dbr:Static_typing dbr:Functional_programming dbr:Keyword_(computer_programming) dbr:Distributed_computing dbr:Futures_and_promises dbr:Eager_evaluation dbr:Just-in-time_compilation dbr:Lazy_evaluation dbr:Fibonacci_number dbr:Oz_(programming_language) dbr:Dialect_(computing) dbr:Future_(programming) dbr:Remote_procedure_call dbr:Haskell_(programming_language) dbr:Bytecode dbr:Free_software dbr:Native_code dbr:X86_architecture dbr:MIT_License dbr:Virtual_machine dbr:Type_inference dbr:Concurrent_programming_language dbr:Imperative_programming dbr:Programming_language dbr:Distributed_programming dbr:Strong_typing dbr:Thread_(computer_science) |
| dbp:designer | Saarland University (en) |
| dbp:influencedBy | dbr:ML_(programming_language) dbr:Oz_(programming_language) |
| dbp:latestReleaseDate | 2007-05-03 (xsd:date) |
| dbp:latestReleaseVersion | 1.400000 (xsd:double) |
| dbp:license | dbr:MIT_License |
| dbp:name | Alice (en) |
| dbp:operatingSystem | dbr:Cross-platform |
| dbp:paradigm | dbr:Multi-paradigm_programming_language dbr:Functional_programming dbr:Concurrent_programming_language dbr:Imperative_programming dbr:Distributed_programming |
| dbp:typing | dbr:Static_typing dbr:Type_inference dbr:Strong_typing |
| dbp:wikiPageUsesTemplate | dbt:For dbt:Infobox_programming_language dbt:More_citations_needed dbt:Official_website dbt:Reflist dbt:Start_date_and_age dbt:URL |
| dcterms:subject | dbc:Functional_logic_programming_languages dbc:ML_programming_language_family dbc:Programming_languages_created_in_2000 dbc:Logic_programming_languages |
| gold:hypernym | dbr:Language |
| rdf:type | owl:Thing dbo:Language dbo:Software schema:Language wikidata:Q315 wikidata:Q9143 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Communication100033020 yago:Language106282651 yago:ProgrammingLanguage106898352 yago:WikicatFunctionalLanguages dbo:ProgrammingLanguage yago:WikicatProgrammingLanguages yago:WikicatProgrammingLanguagesCreatedIn2000 |
| rdfs:comment | Alice ML is a programming language designed by the Programming Systems Laboratory at Saarland University, Saarbrücken, Germany. It is a dialect of Standard ML, augmented with support for lazy evaluation, concurrency (multithreading and distributed computing via remote procedure calls) and constraint programming. (en) 앨리스(Alice)는 3d 스토밍으로 프로그래머가 아닌 평범한 사람이 이해하고 사용할 수 있게 만든 프로그래밍 언어이다. (ko) Alice è un linguaggio di programmazione funzionale progettato presso l'Università del Saarland. È un dialetto di Standard ML, con il supporto aggiuntivo per la valutazione lazy, la concorrenza e la programmazione a vincoli. L'implementazione di Alice utilizza la macchina virtuale SEAM (Simple Extensible Abstract Machine). Alice è distribuito come software libero e fornisce la compilazione just-in-time sia verso bytecode che in codice nativo per l'architettura x86. (it) Alice é uma linguagem de programação funcional, concebida pelo Laboratório de Programação de Sistemas da Universidade do Sarre. Trata-se de um dialeto do Standard ML, complementado com suporte a avaliação atrasada, concorrência (multithreading e computação distribuída através de chamadas de procedimento remoto) e programação com restrições. A implementação da linguagem Alice da Universidade do Sarre usa a máquina virtual SEAM (Simple Extensible Abstract Machine). Trata-se de um software livre que tem entre suas características compilação just in time e código nativo para a arquitetura x86. (pt) Alice es un lenguaje de programación funcional diseñado en el Programming Systems Lab de la Universidad del Sarre. Es un dialecto de Standard ML, extendido con soporte para evaluación perezosa, Concurrencia ( y programación distribuida por medio de ) y . La implementación de Alice de la Universidad Saarland utiliza la máquina virtual abstracta extensible SEAM (Simple Extensible Abstract Machine por sus siglas en inglés). Es un Software libre, que incluye hacia código binario propio así como para código de máquina para la arquitectura x86. (es) Alice — язык функционального программирования, разработанный в лаборатории в Саарском университете. Это диалект языка Standard ML, дополненный ленивыми вычислениями, конкурентностью (многопоточностью и распределёнными вычислениями на основе вызова удалённых процедур) и программированием в ограничениях. Реализация Alice Саарского университета использует виртуальную машину (Simple Extensible Abstract Mashine). Она является свободным программным обеспечением и использует компиляцию «на лету» как в байт-код, так и в родной код для архитектуры x86. (ru) Alice — мова функціонального програмування, розроблена в лабораторії в Саарландському університеті. Це відгалуження мови Standard ML, доповнене лінивими обчисленнями, конкурентністю (багатонитевістю і розподіленими обчисленнями на основі виклику віддалених процедур) і програмування в обмеженнях. (uk) |
| rdfs:label | Alice (programming language) (en) Alice (lenguaje de programación) (es) Alice (linguaggio di programmazione) (it) 앨리스 (프로그래밍 언어) (ko) Alice (linguagem de programação) (pt) Alice (язык программирования) (ru) Alice (мова програмування) (uk) |
| owl:sameAs | freebase:Alice (programming language) yago-res:Alice (programming language) wikidata:Alice (programming language) dbpedia-es:Alice (programming language) dbpedia-fa:Alice (programming language) dbpedia-it:Alice (programming language) dbpedia-ko:Alice (programming language) http://pa.dbpedia.org/resource/ਅਲਾਇਸ_(ਪ੍ਰੋਗ੍ਰਾਮਿੰਗ_ਭਾਸ਼ਾ) dbpedia-pt:Alice (programming language) dbpedia-ru:Alice (programming language) dbpedia-uk:Alice (programming language) http://uz.dbpedia.org/resource/Alice https://global.dbpedia.org/id/Bwkt |
| prov:wasDerivedFrom | wikipedia-en:Alice_(programming_language)?oldid=1108242653&ns=0 |
| foaf:homepage | http://www.ps.uni-saarland.de/alice |
| foaf:isPrimaryTopicOf | wikipedia-en:Alice_(programming_language) |
| foaf:name | Alice (en) |
| is dbo:influenced of | dbr:Oz_(programming_language) |
| is dbo:influencedBy of | dbr:Pure_(programming_language) |
| is dbo:wikiPageDisambiguates of | dbr:Alice |
| is dbo:wikiPageRedirects of | dbr:Alice_ML |
| is dbo:wikiPageWikiLink of | dbr:Pure_(programming_language) dbr:List_of_programming_languages dbr:List_of_programming_languages_by_type dbr:Concurrent_computing dbr:Concurrent_constraint_logic_programming dbr:Standard_ML dbr:Comparison_of_application_virtualization_software dbr:Comparison_of_programming_languages_by_type_system dbr:Compiled_language dbr:Futures_and_promises dbr:Oz_(programming_language) dbr:Alice dbr:Mercury_(programming_language) dbr:Alice_ML |
| is dbp:dialects of | dbr:Standard_ML |
| is dbp:influenced of | dbr:Oz_(programming_language) |
| is foaf:primaryTopic of | wikipedia-en:Alice_(programming_language) |